Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
101	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
102	A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2015-01-21 15:14:28 Software engineering Computing Programming language theory Type theory Concurrent programming languages Program analysis Type system Go Sheaf Orbifold CurryHoward correspondence
103	Bed-Tree: An All-Purpose Index Structure for String Similarity Search Based on Edit Distance Zhenjie Zhang1 1 Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-08-10 12:02:00 Computing Formal languages Linguistics Mathematics Pattern matching Character encoding String Comparison of programming languages Hamming distance Edit distance N-gram Java Persistence Query Language
104	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar
105	Encoding Intonational Information in a Logical Grammar Chris Worth (Ohio State University) The discrepancy between syntactic structure and intonational structure is well known. This makes it particularly difficult to sim Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2011-10-17 16:59:48 Formal languages Logic Syntax Grammar Language Type theory Categorial grammar Formal grammar Linear logic
106	Work in Progress Session T4F USE OF VISUAL TOOLS IN DISTANCE TEACHING OF COMPUTATIONAL MODELS Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:56:41 Formal languages Combinatorics Mathematics Automata theory Visualization Theoretical computer science Science Scientific modelling Regular expression Finite-state machine
107	Advances in Programming Languages APL5: ESC/Java2 — The Java Extended Static Checker David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-24 19:03:54 Computing Software engineering Software Java platform Cross-platform software Formal methods ESC/Java Concurrent programming languages Java Modeling Language Extended static checking Java Java version history
108	CSE 584A Class 6 Jeremy Buhler February 8, 2016 1 Add to Reading List Source URL: classes.engineering.wustl.edu Language: English - Date: 2016-02-08 06:47:37 String computer science) Computing Computer programming Formal languages String matching algorithms Search algorithms Arrays Pattern matching Suffix tree String searching algorithm Suffix array KnuthMorrisPratt algorithm
109	Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-22 20:46:25 Models of computation Formal languages Theoretical computer science Pushdown automaton Automata theory Deterministic pushdown automaton Computability Language Deterministic context-free language Deterministic automaton Culture NPDA
110	SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2009-06-09 05:12:21 Theoretical computer science Logic in computer science Formal languages Hans Zantema International Conference on Rewriting Techniques and Applications Rewriting Termination analysis Divergence NP-completeness

UPDATE